Cut-elimination theorem - PDFSEARCH.IO - Document Search Engine

Cut-elimination theorem
Results: 53

#	Item
31	Proof-Theoretic Validity∗ Stephen Read University of St Andrews email: [removed] April 16, 2012 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-04-16 08:12:57 Propositional calculus Philosophical logic Deduction Natural deduction Sequent calculus Cut-elimination theorem Sequent Entailment Inference Logic Proof theory Logical consequence
32	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
33	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
34	normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne, Add to Reading List Source URL: consequently.org Language: English - Date: 2015-02-12 20:35:36 Mathematics Propositional calculus Deduction Natural deduction System L Modus ponens Cut-elimination theorem Sequent calculus Rule of inference Logic Mathematical logic Proof theory
35	Interpolation for a sequent calculus of generalized quantiers Natasha Alechina FWI, University of Amsterdam Pl. Muidergracht 24, 1018 TV Amsterdam The Netherlands Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-27 15:47:34 Mathematics Sequent calculus First-order logic Function Cut-elimination theorem Natural deduction Sequent Mathematical logic Proof theory Logic
36	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
37	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2010-07-17 14:32:37 Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic Mathematical logic Proof theory
38	AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:44 Sequent calculus Sequent Rule of inference Deep inference Cut-elimination theorem Natural deduction Proof theory Logic Mathematical logic
39	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory
40	Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2012-01-04 16:21:37 Sequent calculus Sequent Symbol Linear logic Entailment Cut-elimination theorem Interpretation Rule of inference Logic programming Logic Mathematical logic Proof theory

UPDATE